Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
41	FPGA ENGINEER ABOUT THE COMPANY: Maven is a proprietary trading organisation that was formed inIt employs some of the most talented traders and developers in the market, executing a diverse range of strategies acr Add to Reading List Source URL: www.mavensecurities.com Language: English - Date: 2016-08-09 09:21:52 Electronic design automation Electronic engineering Fabless semiconductor companies Reconfigurable computing Computing Xilinx Field-programmable gate array Altera Verilog FPGA prototyping Virtex
42	Adding Storage Simulation Capacities to the SimGrid Toolkit A. Lebre, A. Legrand, F. Suter, P. Veyre Inria, Ecole des Mines de Nantes/LINA CNRS/INRIA/University of Grenoble IN2P3 Computing Center, CNRS Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2015-09-29 06:27:30 Computing Concurrent computing Data management Parallel computing Electronic design automation Distributed computing SimGrid Big data Data grid Simulation Data-intensive computing Logic simulation
43	Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers Clark Barrett Christopher L. Conway Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 16:21:50 Theoretical computer science Formal methods Logic in computer science Constraint programming Electronic design automation NP-complete problems Satisfiability modulo theories Solver SMT Uninterpreted function Model checking Alt-Ergo
44	Managing Power Consumption in Networks on Chips Tajana Simunic Stephen Boyd HP Labs & Stanford University Add to Reading List Source URL: seelab.ucsd.edu Language: English - Date: 2012-06-04 16:50:18 Computer hardware Electromagnetism Electronics Energy conservation Microprocessors Electronic design automation Electric power Computers and the environment Power management Network on a chip Open Core Protocol Intel Core
45	Avant Technology Partners With NEC To Market High-Level Synthesis In Asia September 5, Avant Technology announced today they have partnered with NEC Corporation (NEC; TSE: 6701) to bring the award-winning C and S Add to Reading List Source URL: www.avant-tek.com Language: English - Date: 2014-07-31 22:33:50 Electronic engineering Electronics Business Electronic design SystemC High-level synthesis NEC Electronic design automation Mentor Graphics System on a chip Integrated circuit design
46	IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOL. 17, NO. 10, OCTOBERA Low-Power Field-Programmable Gate Array Routing Fabric Add to Reading List Source URL: www-isl.stanford.edu Language: English - Date: 2010-03-02 17:25:32 Electronic engineering Electronics Electrical engineering Integrated circuits Electronic design automation Reconfigurable computing Logic block Fabless semiconductor companies Digital electronics Field-programmable gate array Virtex Placement
47	The 11th Annual ~ Lines on the Pines The ABC’s of the Pine Barrens Authors & Artists of the NJ Pine Barrens Event ~ Sunday, March 13, 2016 Grand Ballroom at the Renault Winery 72 North Bremen Avenue , Egg Harbor City, Add to Reading List Source URL: linesonthepines.org Language: English - Date: 2015-11-21 18:29:41 Computing Software System software Architectural lighting design Home automation Lighting Remote control X10 The Pine Barrens Public Information Network for Electronic Services X Window System Sponsor
48	Formal Verification for High-Assurance Behavioral Synthesis Sandip Ray1 , Kecheng Hao2 , Yan Chen3 , Fei Xie2 , and Jin Yang4 1 Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:32:42 Electronic engineering Electronic design automation Design Formal methods Electronics Electronic design Formal equivalence checking Formal verification High-level synthesis Integrated circuit design Register-transfer level Invariant
49	Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-01 03:01:08 Mathematics Theoretical computer science Mathematical logic Predicate logic Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Z3 First-order logic Language Integrated Query Computer program
50	A 4-Geometry Maze Router and Its Application on Multiterminal Nets GENE EU JAN National Taipei University KI-YIN CHANG National Taiwan Ocean University Add to Reading List Source URL: www.ntpu.edu.tw Language: English - Date: 2005-11-20 09:42:42 Electronic design automation Theoretical computer science Mathematics Electronic engineering Edsger W. Dijkstra Design Routing algorithms Maze runner Routing Algorithm Shortest path problem Motion planning